Parameterized Algorithms for Load Coloring Problem

One way to state the Load Coloring Problem (LCP) is as follows. Let $G=(V,E)$ be graph and let $f:V\rightarrow \{{\rm red}, {\rm blue}\}$ be a 2-coloring. An edge $e\in E$ is called red (blue) if both end-vertices of $e$ are red (blue). For a 2-coloring $f$, let $r'_f$ and $b'_f$ be the number of red and blue edges and let $\mu_f(G)=\min\{r'_f,b'_f\}$. Let $\mu(G)$ be the maximum of $\mu_f(G)$ over all 2-colorings. We introduce the parameterized problem $k$-LCP of deciding whether $\mu(G)\ge k$, where $k$ is the parameter. We prove that this problem admits a kernel with at most $7k$. Ahuja et al. (2007) proved that one can find an optimal 2-coloring on trees in polynomial time. We generalize this by showing that an optimal 2-coloring on graphs with tree decomposition of width $t$ can be found in time $O^*(2^t)$. We also show that either $G$ is a Yes-instance of $k$-LCP or the treewidth of $G$ is at most $2k$. Thus, $k$-LCP can be solved in time $O^*(4^k).

Parameterized TSP: Beating the Average

In the Travelling Salesman Problem (TSP), we are given a complete graph $K_n$ together with an integer weighting $w$ on the edges of $K_n$, and we are asked to find a Hamilton cycle of $K_n$ of minimum weight. Let $h(w)$ denote the average weight of a Hamilton cycle of $K_n$ for the weighting $w$. Vizing (1973) asked whether there is a polynomial-time algorithm which always finds a Hamilton cycle of weight at most $h(w)$. He answered this question in the affirmative and subsequently Rublineckii (1973) and others described several other TSP heuristics satisfying this property. In this paper, we prove a considerable generalisation of Vizing's result: for each fixed $k$, we give an algorithm that decides whether, for any input edge weighting $w$ of $K_n$, there is a Hamilton cycle of $K_n$ of weight at most $h(w)-k$ (and constructs such a cycle if it exists). For $k$ fixed, the running time of the algorithm is polynomial in $n$, where the degree of the polynomial does not depend on $k$ (i.e., the generalised Vizing problem is fixed-parameter tractable with respect to the parameter $k$)

A Memetic Algorithm for the Generalized Traveling Salesman Problem

The generalized traveling salesman problem (GTSP) is an extension of the well-known traveling salesman problem. In GTSP, we are given a partition of cities into groups and we are required to find a minimum length tour that includes exactly one city from each group. The recent studies on this subject consider different variations of a memetic algorithm approach to the GTSP. The aim of this paper is to present a new memetic algorithm for GTSP with a powerful local search procedure. The experiments show that the proposed algorithm clearly outperforms all of the known heuristics with respect to both solution quality and running time. While the other memetic algorithms were designed only for the symmetric GTSP, our algorithm can solve both symmetric and asymmetric instances.Comment: 15 pages, to appear in Natural Computing, Springer, available online: http://www.springerlink.com/content/5v4568l492272865/?p=e1779dd02e4d4cbfa49d0d27b19b929f&pi=1

Constraint Expressions and Workflow Satisfiability

A workflow specification defines a set of steps and the order in which those steps must be executed. Security requirements and business rules may impose constraints on which users are permitted to perform those steps. A workflow specification is said to be satisfiable if there exists an assignment of authorized users to workflow steps that satisfies all the constraints. An algorithm for determining whether such an assignment exists is important, both as a static analysis tool for workflow specifications, and for the construction of run-time reference monitors for workflow management systems. We develop new methods for determining workflow satisfiability based on the concept of constraint expressions, which were introduced recently by Khan and Fong. These methods are surprising versatile, enabling us to develop algorithms for, and determine the complexity of, a number of different problems related to workflow satisfiability.Comment: arXiv admin note: text overlap with arXiv:1205.0852; to appear in Proceedings of SACMAT 201

Hypercontractive Inequality for Pseudo-Boolean Functions of Bounded Fourier Width

A function $f:\ \{-1,1\}^n\rightarrow \mathbb{R}$ is called pseudo-Boolean. It is well-known that each pseudo-Boolean function $f$ can be written as $f(x)=\sum_{I\in {\cal F}}\hat{f}(I)\chi_I(x),$ where ${\cal F}\subseteq \{I:\ I\subseteq [n]\}$,$[n]=\{1,2,...,n\}$, and$\chi_I(x)=\prod_{i\in I}x_i$and$\hat{f}(I)$are non-zero reals. The degree of$f$is$\max \{|I|:\ I\in {\cal F}\}$and the width of$f$is the minimum integer$\rho$such that every$i\in [n]$appears in at most$\rho$sets in$\cal F$. For$i\in [n]$, let$\mathbf{x}_i$be a random variable taking values 1 or -1 uniformly and independently from all other variables$\mathbf{x}_j$,$j\neq i.$Let$\mathbf{x}=(\mathbf{x}_1,...,\mathbf{x}_n)$. The$p$-norm of$f$is$||f||_p=(\mathbb E[|f(\mathbf{x})|^p])^{1/p}$for any$p\ge 1$. It is well-known that$||f||_q\ge ||f||_p$whenever$q> p\ge 1$. However, the higher norm can be bounded by the lower norm times a coefficient not directly depending on$f$: if$f$is of degree$d$and$q> p>1$then$ ||f||_q\le (\frac{q-1}{p-1})^{d/2}||f||_p.$This inequality is called the Hypercontractive Inequality. We show that one can replace$d$by$\rho$in the Hypercontractive Inequality for each$q> p\ge 2$as follows:$ ||f||_q\le ((2r)!\rho^{r-1})^{1/(2r)}||f||_p,$where$r=\lceil q/2\rceil$. For the case$q=4$and$p=2$, which is important in many applications, we prove a stronger inequality:$ ||f||_4\le (2\rho+1)^{1/4}||f||_2.